61. Complete theories
پدیدآورنده : Robinson, Abraham
موضوع : ، Model theory,، Algebraic fields
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
62. Definable additive categories : purity and model theory
پدیدآورنده : Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
63. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
64. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
65. Distribution models theory
پدیدآورنده : editors Rafael Herrerias Pleguezuelo, Jose callejon cespedes, and Jose manual Herrerias Velasco
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Model theory,Distribution (Probability theory)
رده :
QA
9
.
7
.
D58
2006
66. Effective lagrangians for the standard model
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Standard model (Nuclear physics) - Mathematics,Quantum field theory,Particles (Nuclear physics) - Chirality,Broken symmetry (Physies),Quantum gravity
رده :
QC
,
794
.
6
,.
S75E34
,
1997
67. Effective lagrangians for the standard model
پدیدآورنده : A. Dobado... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Standard model )Nuclear physics(,، Quantum field theory,، Particles )Nuclear physics( -- Chirality,، Broken symmetry )Physics(,، Quantum gravity
رده :
QC
794
.
6
.
S75E34
68. Electromagnetic field computation by Network methods
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Electromagnetic fields -- Data processing.,Electromagnetic theory -- Data processing.,Electromagnetic fields -- Mathematical models.,Elektromagnetisches Feld -- Numerisches- Verfahren.,Numerisches Verfahren. swd
رده :
530
.
1410285
F324
69. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
70. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
71. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
72. Essential stability theory
پدیدآورنده : Buechler, Steven
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Model theory , Stability
رده :
QA
9
.
7
.
B84
1996
73. Essential stability theory
پدیدآورنده : / Steven Buechler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory,Stability
رده :
QA9
,.
7
.
B84
74. Essential stability theory
پدیدآورنده : Buechler, Steven
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Stability
رده :
QA
9
.
7
.
B8
75. Exactly solvable models of strongly correlated electrons
پدیدآورنده : editors, Vladimir E. Korepin, Fabian H.L. Essler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Hubbard model,، Energy-band theory of solids,، Mathematical physics
رده :
QC
176
.
8
.
E4E93
76. Financial risk management with Bayesian estimation of GARCH models
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Bayesian statistical decision theory. ; Risk management ; Mathematical models. ; GARCH model. ;
77. Fine structure and class forcing
پدیدآورنده : Friedman, Sy D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Forcing )Model theory(
رده :
QA
9
.
7
.
F75
2000
78. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
79. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
80. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562